To solve the complex design problem of control program of robots in different applications, the state transition method is proposed. 为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed. 针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案。